Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
201	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
202	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:06:06 Theoretical computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Non-deterministic Turing machine Turing machine LL parser LR parser Theory of computation Automata theory Models of computation
203	Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach Leander Jehl and Hein Meling Department of Electrical Engineering and Computer Science University of Stavanger, Norway Add to Reading List Source URL: www.ux.uis.no Language: English - Date: 2014-11-29 05:01:28 Distributed computing Publish–subscribe pattern Byzantine fault tolerance State machine replication Consensus Finite-state machine Fault-tolerant system Computing Fault-tolerant computer systems Concurrent computing
204	Using UML Action Semantics for Executable Modeling and Beyond Gerson Suny´e, Fran¸cois Pennaneac’h, Wai-Ming Ho, Alain Le Guennec, and Jean-Marc J´ez´equel IRISA, Campus de Beaulieu, F[removed]Rennes Cedex, France em Add to Reading List Source URL: gerson.sunye.free.fr Language: English - Date: 2009-04-01 17:29:09 Data modeling Meta-Object Facility Object Constraint Language UML tool ECO Metamodeling Object Management Group Finite-state machine Stereotype Unified Modeling Language Software engineering Software development
205	A Visual and Interactive Automata Theory Course with JFLAP 4.0 ∗ Ryan Cavalcante Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-12-22 12:57:12 Compiler construction Theoretical computer science Computer science Automata theory LL parser LR parser Parsing Nondeterministic finite automaton Finite-state machine Formal languages Models of computation Theory of computation
206	Two-Way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath TU Darmstadt Thomas Colcombet Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-20 11:11:33 Mathematics Ω-automaton Finite-state machine Alphabet Sequence Muller automaton Infinite tree automaton Automata theory Theoretical computer science Computer science
207	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
208	Automata-based Data Structures for Representing Sets of Vectors Bernard Boigelot Universit´ e de Li` Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-13 06:03:42 Applied mathematics Regular expression FO Finite-state machine Nested word Automata theory Theoretical computer science Computer science
209	On Regular Expression Matching and Deterministic Finite Automata Philip Bille∗ Technical University of Denmark, DTU Compute ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Regular language Regular expression Finite-state machine Matching String searching algorithm Synchronizing word Automata theory Theoretical computer science Computer science
210	A. Evans Dept. of Computing, University of York [removed] Rigorous Development in UML Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2003-02-04 09:56:28 Infographics Information science Communication design Data modeling Automata theory State diagram Unified Modeling Language Finite-state machine ECO UML diagrams Models of computation Diagrams

UPDATE